Folding Partially Ordered Runs

نویسنده

  • Carlos Nombre
چکیده

In this paper we present a folding algorithm to construct a process model from a specification given by a set of scenarios. Each scenario is formalized as a partially ordered set of activities of the process. As a process model we consider Event-driven Process Chains which are well established in the domain of business process modeling. Assuming that a specification describes valid behavior of the process to be modeled, the crucial requirement is to get a process model which in any case is able to execute all input scenarios.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Folding Example Runs to a Workflow Net

We present a folding algorithm to construct a business process model from a specification. The process model is a workflow net, i.e. a Petri net with explicit splitand join-transitions and the specification is a set of example runs. Each example run is a labeled partial order of events, and each event relates to the occurrence of an activity of the underlying business process. In contrast to se...

متن کامل

Partially Ordered Runs: A Case Study

We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoning. As a case study, we prove in detail correctness and deadlock–freedom for general partially ordered runs of distributed ASM models of Lamport’s Bakery Algorithm.

متن کامل

Generalized $F$-contractions in Partially Ordered Metric Spaces

We discuss about the generalized $F$-contraction mappings in partially ordered metric spaces. For this, we first introduce the notion of ordered weakly $F$-contraction mapping. We also present some fixed point results about this type of mapping in partially ordered metric spaces. Next, we introduce the notion of $acute{mathrm{C}}$iri$acute{mathrm{c}}$ type generalized ordered weakly $F$-contrac...

متن کامل

Generalized Weakly Contractions in Partially Ordered Fuzzy Metric Spaces

In this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. Also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

متن کامل

Bhaskar-Lakshmikantham type results for monotone mappings in partially ordered metric spaces

In this paper, coupled xed point results of Bhaskar-Lakshmikantham type [T. Gnana Bhaskar, V.Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, NonlinearAnalysis 65 (2006) 1379-1393] are extend, generalized, unify and improved by using monotonemappings instead mappings with mixed monotone property. Also, an example is given to supportthese improvements.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011